-
1 статическая типизация
Programming: static type checking (см. static typing), static type-checking (см. static typing), static typing (определение и контроль типов объектов на стадии компиляции по их описанию в программе. Syn: static type-checking. Ant: dynamic typing)Универсальный русско-английский словарь > статическая типизация
-
2 static typing
статическая типизация; статический контроль типовопределение и контроль типов объектов на стадии компиляции по их описанию в программе.Syn:Ant:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > static typing
-
3 static type checking
Программирование: статическая типизация (см. static typing), статический контроль типов, статическая проверка типов (проверка типов, производимая во время компиляции программы, не во время ее исполнения) -
4 static type-checking
Программирование: статическая типизация (см. static typing), статический контроль типов (см. static typing) -
5 static typing
Программирование: статическая типизация (определение и контроль типов объектов на стадии компиляции по их описанию в программе. Syn: static type-checking. Ant: dynamic typing), статический контроль типов (до начала выполнения программы, на основе только исходного текста)
См. также в других словарях:
Статическая типизация — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Основная статья: Строгая типизация Статическая типизация приём, широко… … Википедия
Типизация данных — Тип данных фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям, и, возможно, способ реализации хранения значений и выполнения операций. Любые… … Википедия
Динамическая типизация — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Основная статья: Строгая типизация Динамическая типизация приём, широко… … Википедия
Строгая типизация — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Строгая типизация один из вариантов политики работы с типами данных, которая… … Википедия
Латентная типизация — Динамическая типизация приём, широко используемый в языках программирования и языках спецификации, при котором переменная связывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках … Википедия
Нестрогая типизация — Динамическая типизация приём, широко используемый в языках программирования и языках спецификации, при котором переменная связывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках … Википедия
Вывод типов — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Вывод типа (англ. Type inference) в программировании возможность компилятора… … Википедия
Зависимый тип — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Зависимый тип, в информатике и логике тип, который зависит от значения. Зависимые… … Википедия
Сравнение языков программирования — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Условные обозначения … Википедия
Переменная (программирование) — У этого термина существуют и другие значения, см. Переменная. Переменная в императивном программировании поименованная, либо адресуемая иным способом область памяти, адрес которой можно использовать для осуществления доступа к данным.… … Википедия
Тип данных — (встречается также термин вид данных) фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям и, возможно, способ реализации хранения значений и… … Википедия